Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR
نویسنده
چکیده
We present a new method for automatic test data generation (ATDG) applying to semantically annotated control-flow graphs (CFGs), covering both ATDG based on source code and assembly or virtual machine code. The method supports a generic set of test coverage criteria, including all structural coverage criteria currently in use in industrial software test for safety critical software. Several known and new strategies are supported for avoiding infeasible paths, that is paths in the CFG for which no input exists leading to their execution. We describe the implementation of the method in CHR∨ [1] and discuss difficulties and advantages of CHR in this context.
منابع مشابه
Automatic Test Data Generation and Model Checking with CHR
We present an example for application of Constraint Handling Rules to automated test data generation and model checking in verification of mission critical software for satellite control.
متن کاملOptimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملUsing Automatic Code Generation for Safety-Critical System Development
To minimize the dangers of such systems, special development standards and processes have been designed for use in safety-critical applications. The established standard in automotive electronics is IEC61508. This is a generic safety standard that requires the defi nition of more detailed standards for specifi c industries and projects. Software engineering studies have shown that the RTCA DO-1...
متن کاملA Testing Pattern for Automatic Control Software Addressing Different Degrees of Process Autonomy and Cooperation
This article considers different automatic control paradigms allowing for varying degrees of agent cooperation and autonomy. In order to support the automatic verification of safety-relevant software controllers, it proposes the use of a generic testing pattern which can be instantiated such as to allow to optimize automatic test data generation with respect to the specific targets of the appli...
متن کاملIntegrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification
Typically verification focuses on demonstrating consistency between an implementation and a functional specification. For safety critical systems this is not sufficient, the implementation must also meet the system safety constraints and safety requirements. The work presented in this paper builds on the authors' previous work in developing a general framework for dynamically generating test-da...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010